基于像素分布特性的IC晶片视觉检测方法

IC晶片制造过程存在多种致命缺陷,致使芯片失效,导致成品率下降.冗余物缺陷是影响IC晶片成品率下降的重要原因,主要造成电路短路错误.针对冗余物缺陷对版图的影响,提出了一种简单可行的缺陷视觉检测方法,以实现冗余物缺陷的识别及电路失效形式的确定.根据摄取的显微图像的图像特征,利用光线补偿技术及形态滤波方法消除干扰噪声,以提高图像质量,采用投影定理及基于像素分布特性的检测方法,实现电路短路形式或缺陷未导致电路失效的识别.     

水下编队航行机器人的前馈加反馈控制器设计

介绍了一种能够实现水下机器人编队的分布式控制方法。在基于跟随机和领航机间的相对运动模型上,首先设计了前馈控制器及其内部模型以补偿视为外部信号的领航机信息,然后利用反推法设计了反馈镇定控制器,同时还设计了能够观测所有误差信号的状态观测器以实现反馈控制。算例仿真表明了应用设计的编队控制律,各个水下机器人能够较快地形成希望的编队,并按希望编队队形稳定航行,仿真结果验证了此种控制方法的有效性。     

HIGHER ORDER MOMENTS OF SAMPLE AUTOCOVARIANCES AND SAMPLE AUTOCORRELATIONS FROM AN INDEPENDENT TIME SERIES

Abstract. Given length- n sampled time series, generated by an independent distributed process, in this paper we treat the problem of determining the greatest order, in n , that moments of the sample autocovariances and sample autocorrelations can attain. For the sample autocovariance moments, we achieve quite general results; but, for the autocorrelation moments, we restrict study to Gaussian white noise (normal, independent and identically distributed). Our main theorem relates to the cross-moments of the non-centred sample autocovariances, but we also establish a relation between these and the corresponding moments for the centred sample autocovariances.     

ON THE UNIMODALITY OF THE EXACT LIKELIHOOD FUNCTION FOR NORMAL AR(2) SERIES

Abstract. For stationary second-order autoregressive normal processes, the conjecture of uniqueness of the solution of the exact likelihood equations is examined. A sufficient condition for uniqueness is given; this condition is satisfied with very high probability if the number of observations is not extremely small. Moreover, it is shown that not more than two maxima may exist. Examples of data which actually produce a likelihood function with two local maxima are given.     

思维进化算法的转移概率分析及几乎处处收敛性证明

思维进化算法已有的收敛性分析均是在依概率收敛意义下考虑的,而几乎处处收敛强于依概率收敛。在详细分析思维进化算法趋同算子和异化算子转移概率的基础上,利用种群最大适应度值函数描述思维进化算法的演化过程,将最大适应度值函数的进化过程转化为下鞅数列,并根据数学期望的性质和最大适应度值函数的特点,利用下鞅收敛定理严格证明了思维进化算法的几乎处处收敛性。     

分布式非线性控制的回路小增益方法

近年来,分布式控制在控制及相关学科引起了广泛的兴趣.复杂的包含不确定性的非线性动力学在控制系统中普遍存在,而针对这种系统的分布式控制研究尚处于起步阶段.其中一个关键问题就是由分布式控制系统中信息交换约束与复杂非线性动力学的并存所导致的.近期相关研究表明,基于回路小增益定理的控制设计方法能够较有效地解决这类问题.本文重点回顾分布式控制回路小增益方法的近期主要结果,给出了一种分布式非线性控制器的系统化设计方法,并在此基础上指出若干未来研究方向.     

基于多值属性分量的XACML策略匹配算法

针对多值属性分量的XACML策略和策略请求之间的匹配需求,分析多值属性策略匹配中策略规则与请求匹配时两者的对应属性关系,依据属性之间的包含关系和权限蕴含关系,给出3个关于策略匹配的定理并加以证明。根据策略匹配的定理,提出多值属性匹配算法。最后进行实验验证,结果表明该算法能够提高多值属性分量策略的匹配效率。     

Fuzzy度量空间上映射的又一个不动点定理

继文献〔1〕之后证明了Fuzzy度量空间上映射的又一个不动点定理，使文献〔2〕的§1（3，4）的定理成为本文的特例。     

Banach空间中半线性混合型发展方程mild解的存在性

利用凝聚映像的Sadovskii不动点定理,讨论了Banach空间中一类半线性混合型发展方程初值问题,获得了其mild解的存在性,推广了一些文献的结果.     

一类边值问题

设D是可求长Jordan闭曲线围成的单连域,g1(x,y)和g2(x,y)是D=Γ上的连续函数,证明了在D内调和且其连续偏导数可延拓到D=Γ上的调和函数存在的充要条件,讨论了这类边值问题解的惟一性,并得到了解的线积分表达式.